Verification power of rational-valued automata with deterministic and affine states
arxiv.org·14h
✅Model Checking
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·1h·
Discuss: Hacker News
📊Runtime Verification
What's new in Kotlin 2.2.20
kotlinlang.org·2h·
Discuss: Lobsters
💎Refinement Types
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·22h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Improving state machine code generation
trifectatech.org·1d·
Discuss: r/rust
🐫Embedded OCaml
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·1d·
Discuss: r/programming
💎Refinement Types
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·7h
🎮Verification Games
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·2d
🛡️seL4
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·34m·
Discuss: Hacker News
🧮Lambda Calculus
Context Pruning in Conversational Agent
poonai.xyz·7h·
Discuss: Hacker News
✓Automated Theorem Proving
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
🌐NetworkProtocols
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·1d·
Discuss: r/programming
👁️System Observability
Effects as Capabilities in Scala
nrinaudo.github.io·6h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
You Can Just Do Things
elite-ai-assisted-coding.dev·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·5h·
Discuss: Hacker News
👁️System Observability
Karate – Test Automation Made Simple
karatelabs.github.io·3h·
Discuss: Hacker News
❄️Nixified Development
AI Agents vs. Agentic AI: A Kubernetes Developer’s Guide
thenewstack.io·3h
⎈Kubernetes
Standards for Age Verification
avpassociation.com·22m·
Discuss: Hacker News
🌐NetworkProtocols
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds